Canonical form - PDFSEARCH.IO - Document Search Engine

Canonical form
Results: 97

#	Item
41	Special Issue Article Fault tree linking versus event tree linking approaches: a reasoned comparison Add to Reading List Source URL: nusbaumer.tripod.com Language: English - Date: 2014-05-29 10:07:17 Philosophical logic Reliability engineering Risk analysis Algebraic logic Canonical form Quantification Equivalence relation Fault tree analysis Logic Mathematical logic Science
42	Microsoft Word - Nusbaumer-Rauzy - FTL versus ETL Mathematical and Algorithmic Reconciliation_revised.doc Add to Reading List Source URL: nusbaumer.tripod.com Language: English - Date: 2012-09-02 05:45:24 Mathematics Diagrams Philosophical logic Reliability engineering Canonical form Binary decision diagram Quantification Equivalence relation Fault tree analysis Logic Mathematical logic Boolean algebra
43	Characterizing Ideal Weighted Threshold Secret Sharing Amos Beimel1 , Tamir Tassa1,2 , and Enav Weinreb1 1 2 Add to Reading List Source URL: www.iacr.org Language: English - Date: 2008-09-15 00:54:53 Topology Dimension Matroid Canonical form Ideal Sheaf Secret sharing Mathematics Abstract algebra Matroid theory
44	Exploring Multi-Valued Minimization Using Binary Methods Alan Mishchenko Department of EECS UC Berkeley Berkeley, CA[removed]removed] Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-01-21 13:03:49 Algebraic logic Binary decision diagram Diagrams Model checking Prime number 700 500 Canonical form Binary function Mathematics Boolean algebra Mathematical logic
45	A Theory of Non-Deterministic Networks Alan Mishchenko and Robert K. Brayton Department of EECS, University of California at Berkeley {alanmi, brayton}@eecs.berkeley.edu Abstract Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2003-08-12 19:40:51 Boolean network Canonical form Artificial neuron Science Abstraction Logic Neural networks Bioinformatics
46	Bi-Decomposition of Multi-Valued Relations Alan Mishchenko α α Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-05-09 04:01:38 Constraint programming Decomposition method Model theory Boolean algebra Function Canonical form Multivalued function Interpretation Binary decision diagram Mathematics Mathematical logic Functions and mappings
47	Reducing Structural Bias in Technology Mapping S. Chatterjee A. Mishchenko R. Brayton X. Wang T. Kam Department of EECS Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-02-27 20:55:14 Electronics Diagrams Boolean algebra And-inverter graph Canonical form Logic synthesis Circuit Boolean function Topology Electronic engineering Electromagnetism Electronic design automation
48	Higher-Order Flexibilities in Multi-Valued Networks Alan Mishchenko Department of ECE Portland State University, Portland, OR [removed] Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-04-15 13:42:30 Binary trees Mathematics Tango tree Algebraic logic Canonical form Logic
49	Logic Synthesis of Reversible Wave Cascades Portland Quantum Logic Group Alan Mishchenko and Marek Perkowski Department of Electrical and Computer Engineering Portland State University Portland, OR 97207, USA Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2002-05-17 14:51:54 Algebraic logic Mathematical logic Models of computation Digital electronics Electronic design automation Toffoli gate Quantum gate Canonical form Logic synthesis Logic gates Electronic engineering Theoretical computer science
50	Large-Scale SOP Minimization Using Decomposition and Functional Properties Alan Mishchenko Tsutomu Sasao Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2003-03-28 23:58:44 Algebraic logic Canonical form Logic

UPDATE